type Foo =
    | A
    | B
